Isaeva Olga S., Kulaysov Nikita V., Isaev Sergey V. «Infographic method to support testing of spacecraft onboard systems based on knowledge base» // Tomsk State University Journal of Control and Computer Science 2021. №57 C.22-33
Isaev Sergey V., Kulaysov Nikita V., Isaeva Olga S. «Method of structural and graphical analysis and verification of intellectual simulation model» // Tomsk State University Journal of Control and Computer Science 2020. №50 C.79-88
Kabanova Elizaveta S., Vikentiev Alexander A. «Distance between formulas of the five-valued Lukasiewicz logic and unreliability measure of expert statements on the clustering of knowledge databases» // 2013. №2(23) C.121-129
